Cotensor Products of Modules
نویسنده
چکیده
Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M N of two comodules in terms of the appropriate Hochschild cohomology of the A-bimodule M ⊗N , when A is finite-dimensional, profinite, graded or differential-graded. The main applications are to Galois cohomology, comodules over the Steenrod algebra, and the homology of induced fibrations.
منابع مشابه
Modules, comodules and cotensor products over Frobenius algebras
We characterize noncommutative Frobenius algebras A in terms of the existence of a coproduct which is a map of left A-modules. We show that the category of right (left) comodules over A, relative to this coproduct, is isomorphic to the category of right (left) modules. This isomorphism enables a reformulation of the cotensor product of Eilenberg and Moore as a functor of modules rather than com...
متن کاملCotensor products of quantum principal bundles
A cotensor product A HP of an H-Hopf Galois extension A and a C-coalgebra Galois extension P , such that P is an (H,C)-bicomodule, is analyzed. Conditions are stated, when A HP is a C-coalgebra Galois extension and when there exists a strong connection on A HP . Two examples are given, in both, A and P are Matsumoto spheres, and H = C = C(U(1)).
متن کاملCotensor Coalgebras in Monoidal Categories
We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal property. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.
متن کاملFuzzy projective modules and tensor products in fuzzy module categories
Let $R$ be a commutative ring. We write $mbox{Hom}(mu_A, nu_B)$ for the set of all fuzzy $R$-morphisms from $mu_A$ to $nu_B$, where $mu_A$ and $nu_B$ are two fuzzy $R$-modules. We make$mbox{Hom}(mu_A, nu_B)$ into fuzzy $R$-module by redefining a function $alpha:mbox{Hom}(mu_A, nu_B)longrightarrow [0,1]$. We study the properties of the functor $mbox{Hom}(mu_A,-):FRmbox{-Mod}rightarrow FRmbox{-Mo...
متن کاملBessel multipliers on the tensor product of Hilbert $C^ast-$ modules
In this paper, we first show that the tensor product of a finite number of standard g-frames (resp. fusion frames, frames) is a standard g-frame (resp. fusion frame, frame) for the tensor product of Hilbert $C^ast-$ modules and vice versa, then we consider tensor products of g-Bessel multipliers, Bessel multipliers and Bessel fusion multipliers in Hilbert $C^ast-$modules. Moreover, we obtain so...
متن کامل